FLANAGAN, CORMAC: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The essence of compiling with continuations

Flanagan, Cormac, Sabry, Amr, Duba, Bruce F., Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 1.64 MB

english, 2004

2

Hybrid type checking

Knowles, Kenneth, Flanagan, Cormac

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 504 KB

english, 2010

3

[ACM Press the ACM SIGPLAN 1993 conference - Albuquerque, New Mexico, United States (1993.06.21-1993.06.25)] Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation - PLDI '93 - The essence of compiling with continuations

Flanagan, Cormac, Sabry, Amr, Duba, Bruce F., Felleisen, Matthias

Year:

1993

Language:

english

File:

PDF, 905 KB

english, 1993

4

Predicate abstraction for software verification

Flanagan, Cormac, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 239 KB

english, 2002

5

Online Optical Fiber Sensor for Detecting Premature Browning in Ground Beef Using Pattern Recognition Techniques and Reflection Spectroscopy

O'Farrell, Marion, Sheridan, Cormac, Lewis, Elfed, Flanagan, Colin, Kerry, J. F., Jackman, N.

Journal:

IEEE Sensors Journal

Year:

2007

Language:

english

File:

PDF, 952 KB

english, 2007

6

Velodrome

Flanagan, Cormac, Freund, Stephen N., Yi, Jaeheon

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 553 KB

english, 2008

7

[ACM Press the ACM SIGPLAN 2002 Conference - Berlin, Germany (2002.06.17-2002.06.19)] Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02 - Extended static checking for Java

Flanagan, Cormac, Leino, K. Rustan M., Lillibridge, Mark, Nelson, Greg, Saxe, James B., Stata, Raymie

Year:

2002

Language:

english

File:

PDF, 252 KB

english, 2002

8

[ACM Press the ACM SIGPLAN 2000 conference - Vancouver, British Columbia, Canada (2000.06.18-2000.06.21)] Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00 - Type-based race detection for Java

Flanagan, Cormac, Freund, Stephen N.

Year:

2000

Language:

english

File:

PDF, 232 KB

english, 2000

9

Extended static checking for Java

Flanagan, Cormac, Leino, K. Rustan M., Lillibridge, Mark, Nelson, Greg, Saxe, James B., Stata, Raymie

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 252 KB

english, 2002

10

Correct blame for contracts

Dimoulas, Christos, Findler, Robert Bruce, Flanagan, Cormac, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

11

Type inference against races

Cormac Flanagan, Stephen N. Freund

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

12

Atomizer: A dynamic atomicity checker for multithreaded programs

Cormac Flanagan, Stephen N. Freund

Journal:

Science of Computer Programming

Year:

2008

Language:

english

File:

PDF, 1.56 MB

english, 2008

13

Annotation inference for modular checkers

Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 94 KB

english, 2001

14

Transactions for Software Model Checking

Cormac Flanagan, Shaz Qadeer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 214 KB

english, 2003

15

Space-efficient gradual typing

David Herman, Aaron Tomb, Cormac Flanagan

Journal:

Higher-Order and Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 678 KB

english, 2010

16

Automatic software model checking via constraint logic

Cormac Flanagan

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 270 KB

english, 2004

17

Modular verification of multithreaded programs

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 330 KB

english, 2005

18

Tissue Engineering: Selecting the Optimal Fixative for Immunohistochemistry

Koch, Sabine, Stappenbeck, Nadine, Cornelissen, Christian G., Flanagan, Thomas Cormac, Mela, Petra, Sachweh, Jörg, Hermanns-Sachweh, Benita, Jockenhoevel, Stefan

Journal:

Tissue Engineering Part C Methods

Year:

2012

Language:

english

File:

PDF, 603 KB

english, 2012

19

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7214 || Aspect-Oriented Runtime Monitor Certification

Flanagan, Cormac, König, Barbara

Year:

2012

Language:

english

File:

PDF, 258 KB

english, 2012

20

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7214 || Automated Analysis of AODV Using UPPAAL

Flanagan, Cormac, König, Barbara

Year:

2012

Language:

english

File:

PDF, 277 KB

english, 2012

21

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7214 ||

Flanagan, Cormac, König, Barbara

Year:

2012

Language:

english

File:

PDF, 7.88 MB

english, 2012

22

Developments in automated verification techniques

Flanagan, Cormac, König, Barbara

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 112 KB

english, 2014

23

FastTrack

Flanagan, Cormac, Freund, Stephen N.

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 571 KB

english, 2009

24

The BioStent: Novel Concept for a Viable Stent Structure

Weinandy, Stefan, Rongen, Lisanne, Schreiber, Fabian, Cornelissen, Christian, Flanagan, Thomas Cormac, Mahnken, Andreas, Gries, Thomas, Schmitz-Rode, Thomas, Jockenhoevel, Stefan

Journal:

Tissue Engineering Part A

Year:

2012

Language:

english

File:

PDF, 802 KB

english, 2012

25

Efficient purely-dynamic information flow analysis

Austin, Thomas H., Flanagan, Cormac

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 296 KB

english, 2009

26

[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A type and effect system for atomicity

Flanagan, Cormac, Qadeer, Shaz

Year:

2003

Language:

english

File:

PDF, 260 KB

english, 2003

27

Atomizer

Flanagan, Cormac, Freund, Stephen N

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 191 KB

english, 2004

28

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7214 || Coupling and Importance Sampling for Statistical Model Checking

Flanagan, Cormac, König, Barbara

Year:

2012

Language:

english

File:

PDF, 282 KB

english, 2012

29

FastTrack

Flanagan, Cormac, Freund, Stephen N.

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 459 KB

english, 2010

30

[ACM Press the 2007 workshop - Freiburg, Germany (2007.10.05-2007.10.05)] Proceedings of the 2007 workshop on Workshop on ML - ML '07 - Status report

Herman, David, Flanagan, Cormac

Year:

2007

Language:

english

File:

PDF, 162 KB

english, 2007

31

Types for atomicity

Flanagan, Cormac, Freund, Stephen N., Lifshin, Marina, Qadeer, Shaz

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 966 KB

english, 2008

32

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - pHluid

Flanagan, Cormac, Nikhil, Rishiyur S.

Year:

1996

Language:

english

File:

PDF, 1.14 MB

english, 1996

33

[ACM Press the 10th ACM Symposium - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 10th ACM Symposium on Dynamic languages - DLS '14 - Sweeten your JavaScript

Disney, Tim, Faubion, Nathan, Herman, David, Flanagan, Cormac

Year:

2014

Language:

english

File:

PDF, 831 KB

english, 2014

34

[ACM Press the ACM SIGPLAN Fourth Workshop - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09 - Efficient purely-dynamic information flow analysis

Austin, Thomas H., Flanagan, Cormac

Year:

2009

Language:

english

File:

PDF, 261 KB

english, 2009

35

pHluid

Flanagan, Cormac, Nikhil, Rishiyur S.

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 1.14 MB

english, 1996

36

Virtual values for language extension

Austin, Thomas H., Disney, Tim, Flanagan, Cormac

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 753 KB

english, 2011

37

Catching bugs in the web of program invariants

Flanagan, Cormac, Flatt, Matthew, Krishnamurthi, Shriram, Weirich, Stephanie, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 1.08 MB

english, 1996

38

Componential set-based analysis

Flanagan, Cormac, Felleisen, Matthias

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 2.00 MB

english, 1997

39

Practices of PLDI

Boehm, Hans, Vitek, Jan, Wadler, Philip, Davidson, Jack, Fisher, Kathleen, Flanagan, Cormac, Gibbons, Jeremy, Hall, Mary, Hutton, Graham, Padua, David, Tip, Frank

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 83 KB

english, 2014

40

Exploiting purity for atomicity

Flanagan, Cormac, Freund, Stephen N., Qadeer, Shaz

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 136 KB

english, 2004

41

[ACM Press the 2005 ACM SIGPLAN international workshop - Long Beach, California, USA (2005.01.10-2005.01.10)] Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '05 - Type inference for atomicity

Flanagan, Cormac, Freund, Stephen N., Lifshin, Marina

Year:

2005

Language:

english

File:

PDF, 164 KB

english, 2005

42

[ACM Press the 2009 ACM SIGPLAN conference - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 - FastTrack

Flanagan, Cormac, Freund, Stephen N.

Year:

2009

Language:

english

File:

PDF, 571 KB

english, 2009

43

[ACM Press the 9th ACM SIGPLAN-SIGSOFT workshop - Toronto, Ontario, Canada (2010.06.05-2010.06.06)] Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '10 - The roadrunner dynamic analysis framework for concurrent programs

Flanagan, Cormac, Freund, Stephen N.

Year:

2010

Language:

english

File:

PDF, 378 KB

english, 2010

44

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - Adversarial memory for detecting destructive races

Flanagan, Cormac, Freund, Stephen N.

Year:

2010

Language:

english

File:

PDF, 729 KB

english, 2010

45

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Correct blame for contracts

Dimoulas, Christos, Findler, Robert Bruce, Flanagan, Cormac, Felleisen, Matthias

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

46

[ACM Press the 16th ACM symposium - San Antonio, TX, USA (2011.02.12-2011.02.16)] Proceedings of the 16th ACM symposium on Principles and practice of parallel programming - PPoPP '11 - Cooperative reasoning for preemptive execution

Yi, Jaeheon, Sadowski, Caitlin, Flanagan, Cormac

Year:

2011

Language:

english

File:

PDF, 418 KB

english, 2011

47

[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - The semantics of future and its use in program optimization

Flanagan, Cormac, Felleisen, Matthias

Year:

1995

Language:

english

File:

PDF, 1.28 MB

english, 1995

48

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Multiple facets for dynamic information flow

Austin, Thomas H., Flanagan, Cormac

Year:

2012

Language:

english

File:

PDF, 534 KB

english, 2012

49

[ACM Press the 2012 International Symposium - Minneapolis, MN, USA (2012.07.15-2012.07.20)] Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012 - Detecting inconsistencies via universal reachability analysis

Tomb, Aaron, Flanagan, Cormac

Year:

2012

Language:

english

File:

PDF, 328 KB

english, 2012

50

[ACM Press the Eighth ACM SIGPLAN workshop - Seattle, Washington, USA (2013.06.20-2013.06.20)] Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '13 - Faceted execution of policy-agnostic programs

Austin, Thomas H., Yang, Jean, Flanagan, Cormac, Solar-Lezama, Armando

Year:

2013

Language:

english

File:

PDF, 477 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски